The Basic Zariski Topology
نویسندگان
چکیده
We present the Zariski spectrum as an inductively generated basic topology à la Martin-Löf and Sambin. Since we can thus get by without considering powers and radicals, this simplifies the presentation as a formal topology initiated by Sigstam. Our treatment includes closed and open subspaces: that is, quotients and localisations. All the effective objects under consideration are introduced by means of inductive definitions. The notions of spatiality and reducibility are characterized for the class of Zariski formal topologies, and their nonconstructive content is pointed out: while spatiality implies classical logic, reducibility corresponds to a fragment of the Axiom of Choice in the form of Russell’s Multiplicative Axiom.
منابع مشابه
On two problems concerning the Zariski topology of modules
Let $R$ be an associative ring and let $M$ be a left $R$-module.Let $Spec_{R}(M)$ be the collection of all prime submodules of $M$ (equipped with classical Zariski topology). There is a conjecture which says that every irreducible closed subset of $Spec_{R}(M)$ has a generic point. In this article we give an affirmative answer to this conjecture and show that if $M$ has a Noetherian spectrum, t...
متن کاملPRIMARY ZARISKI TOPOLOGY ON THE PRIMARY SPECTRUM OF A MODULE
Let $R$ be a commutative ring with identity and let $M$ be an $R$-module. We define the primary spectrum of $M$, denoted by $mathcal{PS}(M)$, to be the set of all primary submodules $Q$ of $M$ such that $(operatorname{rad}Q:M)=sqrt{(Q:M)}$. In this paper, we topologize $mathcal{PS}(M)$ with a topology having the Zariski topology on the prime spectrum $operatorname{Spec}(M)$ as a sub...
متن کاملThe Graded Classical Prime Spectrum with the Zariski Topology as a Notherian Topological Space
Let G be a group with identity e. Let R be a G-graded commutative ring and let M be a graded R-module. The graded classical prime spectrum Cl.Specg(M) is defined to be the set of all graded classical prime submodule of M. The Zariski topology on Cl.Specg(M); denoted by ϱg. In this paper we establish necessary and sufficient conditions for Cl.Specg(M) with the Zariski topology to be a Noetherian...
متن کاملAlgebraic and topological aspects of quasi-prime ideals
In this paper, we define the new notion of quasi-prime ideal which generalizes at once both prime ideal and primary ideal notions. Then a natural topology on the set of quasi-prime ideals of a ring is introduced which admits the Zariski topology as a subspace topology. The basic properties of the quasi-prime spectrum are studied and several interesting results are obtained. Specially, it is pro...
متن کاملInverse topology in BL-algebras
In this paper, we introduce Inverse topology in a BL-algebra A and prove the set of all minimal prime filters of A, namely Min(A) with the Inverse topology is a compact space, Hausdorff, T0 and T1-Space. Then, we show that Zariski topology on Min(A) is finer than the Inverse topology on Min(A). Then, we investigate what conditions may result in the equivalence of these two topologies. Finally,...
متن کامل